English algorithmic undecidability: תרגום לשפות אחרות